Orthogonal group ↩

Metadata 
aliases: [O(n)]
shorthands: {}
created: 2022-11-13 11:45:30
modified: 2022-11-13 11:51:02

Short: O

Short definition

The set of orthogonal matrices with real coefficients such that

is a group under matrix multiplication, with identity element the identity matrix . We also have due to them being orthogonal.

This is called the orthogonal group and is usually denoted .

Notes